18,084 research outputs found

    Deterministic 1-k routing on meshes with applications to worm-hole routing

    Get PDF
    In 11-kk routing each of the n2n^2 processing units of an nĂ—nn \times n mesh connected computer initially holds 11 packet which must be routed such that any processor is the destination of at most kk packets. This problem reflects practical desire for routing better than the popular routing of permutations. 11-kk routing also has implications for hot-potato worm-hole routing, which is of great importance for real world systems. We present a near-optimal deterministic algorithm running in \sqrt{k} \cdot n / 2 + \go{n} steps. We give a second algorithm with slightly worse routing time but working queue size three. Applying this algorithm considerably reduces the routing time of hot-potato worm-hole routing. Non-trivial extensions are given to the general ll-kk routing problem and for routing on higher dimensional meshes. Finally we show that kk-kk routing can be performed in \go{k \cdot n} steps with working queue size four. Hereby the hot-potato worm-hole routing problem can be solved in \go{k^{3/2} \cdot n} steps

    Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

    Full text link
    We report on improvements to ACL2 made since the 2013 ACL2 Workshop.Comment: In Proceedings ACL2 2014, arXiv:1406.123

    Lead-oxygen closed-loop battery system

    Get PDF
    Calculations show that battery can deliver up to 35 watt-hours per pound, conventional lead-acid batteries deliver 10 to 15 watt-hours per pound. Weight reduction is due to replacement of solid lead-peroxide electrodes with metal current-collector screen, catalyst, and Teflon membrane

    Pointed Admissible G-Covers and G-equivariant Cohomological Field Theories

    Full text link
    For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a cohomological field theory (CohFT), respectively. We prove that by taking the "quotient" by G, a G-CohFT reduces to a CohFT. We also prove that a G-CohFT contains a G-Frobenius algebra, a G-equivariant generalization of a Frobenius algebra, and that the "quotient" by G agrees with the obvious Frobenius algebra structure on the space of G-invariants, after rescaling the metric. We also introduce the moduli space of G-stable maps into a smooth, projective variety X with G action. Gromov-Witten-like invariants of these spaces provide the primary source of examples of G-CohFTs. Finally, we explain how these constructions generalize (and unify) the Chen-Ruan orbifold Gromov-Witten invariants of the global quotient [X/G] as well as the ring H*(X,G) of Fantechi and Goettsche.Comment: Corrected proof of the trace axiom and made minor typo corrections. 13 figures. Uses Paul Taylor's diagrams packag

    Austrian higher education institutions' idiosyncrasies and technology transfer system

    Get PDF
    The aim of this paper is to present the findings of a PhD research (Heinzl, 2007) conducted on the Universities of Applied Sciences in Austria. The research is to establish an idiosyncrasy model for Universities of Applied Sciences in Austria showing the effects of their idiosyncrasies on the ability to successfully conduct technology transfer. Research applied in the study is centred on qualitative methods as major emphasis is placed on theory building. The study pursues a stepwise approach for the establishment of the idiosyncrasy model. In the first step, an initial technology transfer model and list of idiosyncrasies are established based on a synthesis of findings from secondary research. In the second step, these findings are enhanced by the means of empirical research including problem-centred expert interviews, a focus group and participant observation. In the third step, the idiosyncrasies are matched with the factors conducive for technology transfer and focused interviews have been conducted for this purpose. The findings show that idiosyncrasies of Universities of Applied Sciences have remarkable effects on their technology transfer abilities. This paper presents four of the models that emerge from the PhD research: Generic Technology Transfer Model (Section 5.1); Idiosyncrasies Model for the Austrian Universities of Applied Sciences (Section 5.2); Idiosyncrasies-Technology Transfer Effects Model (Section 5.3); Idiosyncrasies-Technology Transfer Cumulated Effects Model (Section 5.3). The primary and secondary research methods employed for this study are: literature survey, focus groups, participant observation, and interviews. The findings of the research contribute to a conceptual design of a technology transfer system which aims to enhance the higher education institutions' technology transfer performance

    Single-dish high sensitivity determination of solar limb emission at 22 and 44 GHz

    Get PDF
    A large number of solar maps were obtained with the use of Itapetinga 45 ft antenna at 22 GHz and 44 GHz. A statistical study of these maps, reduced using original techniques, permitted the establishment of the solar radius with great accuracy at the two frequencies. It is found that 22 GHz and 44 BHz radiation originates at 16,00 km and 12,500 km above the photosphere, respectively. Excess emission due to active regions was clearly identified at lower solar latitudes above and below the equator, extending up to 26,000 km and 16,500 km above the photosphere, at 22 GHs and 44 GHz, respectively
    • …
    corecore